If and are sites, a functor is cover-preserving (some people say continuous) if whenever is a covering family of an object , its image is a covering family of in .
If is also flat, then it is called a morphism of sites, and induces a geometric morphism between sheaf toposes.
Created on November 7, 2010 at 18:15:51. See the history of this page for a list of all contributions to it.